941. The search for certainty : a philosophical account of foundations of mathematics

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical

رده :
QA
8
.
4
.
G52S4

942. The search for mathematical roots, 1870-1940

پدیدآورنده:

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع: Arithmetic- Foundations- History 19th century,Arithmetic- Foundations- History 20th century,Set theory- History 19th century,Set theory- History 20th century,Logic, Symbolic and mathematical- History 19th century,Logic, Symbolic and mathematical- History 20th century

رده :
E-BOOK

943. The search for mathematical roots, 1870-1940

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Arithmetic--Foundations--History--19th century,Arithmetic--Foundations--History--20th century,Set theory--History--19th century,Set theory--History--20th century,Logic, Symbolic and mathematical--History--19th century,Logic, Symbolic and mathematical--History--20th century

رده :
QA
,
248
,.
G684
,
2000

944. The search for mathematical roots, 1870-1940

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع: Arithmetic- Foundations- History 19th century,Arithmetic- Foundations- History 20th century,Set theory- History 19th century,Set theory- History 20th century,Logic, Symbolic and mathematical- History 19th century,Logic, Symbolic and mathematical- History 20th century

رده :
QA248
.
G684
2000

945. The structure of models of Peano arithmetic

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Logic, Symbolic and mathematical,، Peano, Giuseppe, 8581-2391,Problems, exercises, etc ، Logic, Symbolic and mathematical,، Isomorphisms )Mathematics(,Problems, exercises, etc ، Isomorphisms )Mathematics(

رده :
QA
9
.
7
.
K68S7

946. The structure of models of Peano arithmetic

پدیدآورنده:

کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)

موضوع: ، Logic, Symbolic and mathematical,، Peano, Giuseppe--8581-2391,، Logic, Symbolic and mathematica--roblems, exercises, etc,، Isomorphisms )Mathematics(,، Isomorphisms )Mathematics--roblems, exercises, etc

رده :
QA
9
.
7
.
K67
2006

947. The structure of models of Peano arithmetic

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)

موضوع: Logic, Symbolic and mathematical,Peano, Giuseppe,- 1858-1932,Logic, Symbolic and mathematical- Problems, exercises, etc,Isomorphisms )Mathematics(,Isomorphisms )Mathematics(- Problems, exercises, etc

رده :
QA
9
.
7
.
K67
2006

948. The symbolic computation of integrability structures for partial differential equations /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Differential equations, Partial.,Geometry, Differential.,Logic, Symbolic and mathematical.,Differential calculus & equations.,Differential equations, Partial.,Geometry, Differential.,Logic, Symbolic and mathematical.,MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.,Maths for computer scientists.

رده :
QA377

949. <The> theory of models

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (تهران)

رده :
BC135
،.
I5
1965

950. The theory of models

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Logic, Symbolic and mathematical, Congresses.,Mathematical models, Congresses.

951. The theory of models; proceedings

کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)

موضوع: Logic Symbolic and mathematical models-Congresses

رده :
BC
135
.
I586

952. The theory of models; proceedings

پدیدآورنده:

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematical models

رده :
BC
135
.
I586
1963

953. The theory of probability, an inquiry into the logical and mathematical foundations of the calculus of probability

پدیدآورنده:

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع: ، Mathematics -- Philosophy,، Probabilities,، Logic, Symbolic and mathematical

رده :
QA
9
.
R412
1949

954. The theory of probability, an inquiry into the logical and mathematical foundations of the calculus of probability

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Mathematics-- Philosophy,، Probabilities,، Logic, Symbolic and mathematical

رده :
QA
9
.
R412
1971

955. The theory of probability, an inquiry into the logical and mathematical foundations of the calculus of probability

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: philosophy ، Mathematics,، Probabilities,، Logic, Symbolic and mathematical

رده :
QA
9
.
R413

956. Theorem proving with the real numbers.

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

رده :
QA76
.
9
.
A96
J646
2012

957. Theorems, corollaries, lemmas, and methods of proof /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Logic, Symbolic and mathematical, Textbooks,Mathematical analysis-- Foundations, Textbooks,Proof theory, Textbooks

رده :
QA9
.
54
.
R668
2006

958. Theorems, corollaries, lemmas, and methods of proof

پدیدآورنده:

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع: Proof theory- Textbooks,Mathematical analysis- Foundations- Textbooks,Logic, Symbolic and mathematical- Textbooks

رده :
QA9
.
54
.
R668
2006

959. Theorems of the 21st century.

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Induction (Mathematics),Logic, Symbolic and mathematical.,Mathematics.,Induction (Mathematics),Logic, Symbolic and mathematical.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Mathematics.

رده :
QA37
.
3

960. Theoretical aspects of computing -- ICTAC 2018 :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.

رده :
QA76
.
9
.
L63